321. Formal approaches to software testing
Author: / Alexandre Petrenko, Andreas Ulrich (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Formal methods (Computer science)--Congresses,Computer software--Testing--Congresses
Classification :
QA
,
76
.
9
,.
F67
,
F52
,
2003
322. Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers
Author: Alexandre Petrenko, Andreas Ulrich )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Testing -- Congresses ، Computer software
Classification :
QA
76
.
L28
Vol
.
2931
323. Formal aspects of component software
Author: Luís Soares Barbosa, Markus Lumpe (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Component software, Congresses,Formal methods (Computer science), Congresses
Classification :
QA76
.
9
.
E94
I585
2010eb
324. Formal aspects of component software :
Author: Kyungmin Bae, Peter Csaba Ölveczky (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
F67
325. Formal methods :
Author: Tiago Massoni, Mohammad Reza Mousavi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
F67
326. Formal methods and software development
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Development-- Congresses
Classification :
QA
76
.
76
.
D47
.
I57
1985
vol
.
2
327. Formal methods and software engineering :
Author: Shengchao Qin, Zongyan Qiu (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses,Software engineering, Congresses,Formal methods (Computer science)-- Congresses,Software engineering-- Congresses
Classification :
QA76
.
9
.
F67
I34
2011
328. Formal methods and software engineering :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Formal methods (Computer science) ; Congresses. ;
329. Formal methods and software engineering
Author: Karin Breitman, Ana Cavalcanti (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses,Software engineering, Congresses
Classification :
QA76
.
9
.
F67
I584
2009
330. Formal methods and software engineering :
Author: Jing Sun, Meng Sun (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
9
.
F67
331. Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
Author: / Kung-Kiu Lau, Richard Banach (eds.),Portion of Title:7th International Conference on Formal Engineering Methods.
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Formal methods (Computer science)--Congresses,Software engineering--Congresses
Classification :
QA76
.
9
.
F67
I57
332. Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
Author: Kung-Kiu Lau, Richard Banach )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
Classification :
QA
76
.
L28
Vol
.
3785
333. Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
Author: Jim Davies, Wolfram Schulte, Mike Barnett )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
Classification :
QA
76
.
L28
Vol
.
3308
334. Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings
Author: Chris George, Huaikou Miao )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
Classification :
QA
76
.
L28
Vol
.
2495
335. Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings
Author: Jin Song Dong, Jim Woodcock )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
Classification :
QA
76
.
L28
Vol
.
2885
336. Formal methods at the crossroads
Author: / Bernhard K. Aichernig, Tom Maibaum (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Software engineering--Congresses
Classification :
QA
,
76
.
758
,
F67
,
2003
337. Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers
Author: Bernhard K. Aichernig, Tom Maibaum )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Software engineering
Classification :
QA
76
.
L28
Vol
.
2757
338. Formal methods for components and objects :
Author: Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses,Software engineering, Congresses
Classification :
QA76
.
9
.
F67
F53
2012
339. Formal methods for components and objects
Author: Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses
Classification :
QA76
.
9
.
F67
F53
2010eb
340. Formal methods for dynamical systems
Author: Marco Bernardo ... [et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses,System design, Congresses
Classification :
QA76
.
9
.
F67
.
I58
2013
